Flashix: modular verification of a concurrent and crash-safe flash file system

The Flashix project has developed the first realistic verified file system for Flash memory. This paper gives an overview over the project and the theory used. Specification is based on modular components and subcomponents, which may have concurrent implementations connected via refinement. Functional correctness and crash-safety of each component is verified separately. We highlight some components that were recently added to improve efficiency, such as file caches and concurrent garbage collection. The project generates 18K of C code that runs under Linux. We evaluate how efficiency has improved and compare to UBIFS, the most recent flash file system implementation available for the Linux kernel

Effect of a conventional energy-restricted modified diet with or without meal replacement on weight loss and cardiometabolic risk profile in overweight women

<p>Abstract</p> <p>Background</p> <p>Abdominal obesity, atherogenic dyslipidemia and hypertension are essential risk factors for cardiovascular diseases. Several studies showed favorable effects of weight loss in overweight subjects on cardiometabolic risk profile.</p> <p>Methods</p> <p>This open-label, randomized, controlled study investigated the effect of an energy-restricted modified diet with (MR) or without meal replacements for weight control (C) on weight loss, body composition and cardiometabolic risk profile in overweight women. Of 105 randomized participants, 87 were eligible for per protocol analysis. Anthropometric, clinical, blood, 24 h-urine parameters and dietary intake were assessed at baseline and after 12 weeks.</p> <p>Results</p> <p>Dietary intervention resulted in a significant weight loss in both groups (MR: -5.98 ± 2.82 kg; p < 0.001, C: -4.84 ± 3.54 kg; p < 0.001). However, the rate of responder (weight loss >5%) was higher in MR (77%) versus C group (50%) (p = 0.010). A significant reduction in waist circumference (WC) and body fat mass (BFM) was observed in both groups. Body cell mass (BCM) and lean body mass (LBM) decreased, while percentage of BCM of body weight increased in MR more than in C group. Systolic and diastolic blood pressure (BP) significantly decreased and to a similar extent in both groups. Total cholesterol (TC), LDL-C but also HDL-C declined significantly in both groups, while no change occurred in triglycerides.</p> <p>Conclusions</p> <p>Both dietary intervention strategies had a similar effect on weight loss and body fat distribution, but rate of responder was significantly higher in MR group. Systolic BP decreased to a similar extent in both groups. Cardiometabolic risk profile improved only partly in both groups.</p

Blumenols as shoot markers of root symbiosis with arbuscular mycorrhizal fungi.

High-through-put (HTP) screening for functional arbuscular mycorrhizal fungi (AMF)-associations is challenging because roots must be excavated and colonization evaluated by transcript analysis or microscopy. Here we show that specific leaf-metabolites provide broadly applicable accurate proxies of these associations, suitable for HTP-screens. With a combination of untargeted and targeted metabolomics, we show that shoot accumulations of hydroxy- and carboxyblumenol C-glucosides mirror root AMF-colonization in Nicotiana attenuata plants. Genetic/pharmacologic manipulations indicate that these AMF-indicative foliar blumenols are synthesized and transported from roots to shoots. These blumenol-derived foliar markers, found in many di- and monocotyledonous crop and model plants (Solanum lycopersicum, Solanum tuberosum, Hordeum vulgare, Triticum aestivum, Medicago truncatula and Brachypodium distachyon), are not restricted to particular plant-AMF interactions, and are shown to be applicable for field-based QTL mapping of AMF-related genes

Estimation of Aboveground Biomass in Alpine Forests: A Semi-Empirical Approach Considering Canopy Transparency Derived from Airborne LiDAR Data

In this study, a semi-empirical model that was originally developed for stem volume estimation is used for aboveground biomass (AGB) estimation of a spruce dominated alpine forest. The reference AGB of the available sample plots is calculated from forest inventory data by means of biomass expansion factors. Furthermore, the semi-empirical model is extended by three different canopy transparency parameters derived from airborne LiDAR data. These parameters have not been considered for stem volume estimation until now and are introduced in order to investigate the behavior of the model concerning AGB estimation. The developed additional input parameters are based on the assumption that transparency of vegetation can bemeasured by determining the penetration of the laser beams through the canopy. These parameters are calculated for every single point within the 3D point cloud in order to consider the varying properties of the vegetation in an appropriate way. Exploratory Data Analysis (EDA) is performed to evaluate the influence of the additional LiDAR derived canopy transparency parameters for AGB estimation. The study is carried out in a 560 km2 alpine area in Austria, where reference forest inventory data and LiDAR data are available. The investigations show that the introduction of the canopy transparency parameters does not change the results significantly according to R2 (R2 = 0.70 to R2 = 0.71) in comparison to the results derived from, the semi-empirical model, which was originally developed for stem volume estimation

Arbuscular Mycorrhiza Alleviates Restrictions to Substrate Water Flow and Delays Transpiration Limitation to Stronger Drought in Tomato

Arbuscular mycorrhizal fungi (AMF) proliferate in soil pores, on the surface of soil particles and affect soil structure. Although modifications in substrate moisture retention depend on structure and could influence plant water extraction, mycorrhizal impacts on water retention and hydraulic conductivity were rarely quantified. Hence, we asked whether inoculation with AMF affects substrate water retention, water transport properties and at which drought intensity those factors become limiting for plant transpiration. Solanum lycopersicum plants were set up in the glasshouse, inoculated or not with Funneliformis mosseae, and grown for 35 days under ample water supply. After mycorrhizal establishment, we harvested three sets of plants, one before (36 days after inoculation) and the second (day 42) and third (day 47) within a sequential drying episode. Sampling cores were introduced into pots before planting. After harvest, moisture retention and substrate conductivity properties were assessed and water retention and hydraulic conductivity models were fitted. A root water uptake model was adopted in order to identify the critical substrate moisture that induces soil derived transpiration limitation. Neither substrate porosity nor saturated water contents were affected by inoculation, but both declined after substrates dried. Drying also caused a decline in pot water capacity and hydraulic conductivity. Plant available water contents under wet (pF 1.8–4.2) and dry (pF 2.5–4.2) conditions increased in mycorrhizal substrates and were conserved after drying. Substrate hydraulic conductivity was higher in mycorrhizal pots before and during drought exposure. After withholding water from pots, higher substrate drying rates and lower substrate water potentials were found in mycorrhizal substrates. Mycorrhiza neither affected leaf area nor root weight or length. Consistently with higher substrate drying rates, AMF restored the plant hydraulic status, and increased plant transpiration when soil moisture declined. The water potential at the root surface and the resistance to water flow in the rhizosphere were restored in mycorrhizal pots although the bulk substrate dried more. Finally, substrates colonized by AMF can be more desiccated before substrate water flux quantitatively limits transpiration. This is most pronounced under high transpiration demands and complies with a difference of over 1,000 hPa in substrate water potential

Table5.DOCX

<p>Arbuscular mycorrhizal fungi (AMF) proliferate in soil pores, on the surface of soil particles and affect soil structure. Although modifications in substrate moisture retention depend on structure and could influence plant water extraction, mycorrhizal impacts on water retention and hydraulic conductivity were rarely quantified. Hence, we asked whether inoculation with AMF affects substrate water retention, water transport properties and at which drought intensity those factors become limiting for plant transpiration. Solanum lycopersicum plants were set up in the glasshouse, inoculated or not with Funneliformis mosseae, and grown for 35 days under ample water supply. After mycorrhizal establishment, we harvested three sets of plants, one before (36 days after inoculation) and the second (day 42) and third (day 47) within a sequential drying episode. Sampling cores were introduced into pots before planting. After harvest, moisture retention and substrate conductivity properties were assessed and water retention and hydraulic conductivity models were fitted. A root water uptake model was adopted in order to identify the critical substrate moisture that induces soil derived transpiration limitation. Neither substrate porosity nor saturated water contents were affected by inoculation, but both declined after substrates dried. Drying also caused a decline in pot water capacity and hydraulic conductivity. Plant available water contents under wet (pF 1.8–4.2) and dry (pF 2.5–4.2) conditions increased in mycorrhizal substrates and were conserved after drying. Substrate hydraulic conductivity was higher in mycorrhizal pots before and during drought exposure. After withholding water from pots, higher substrate drying rates and lower substrate water potentials were found in mycorrhizal substrates. Mycorrhiza neither affected leaf area nor root weight or length. Consistently with higher substrate drying rates, AMF restored the plant hydraulic status, and increased plant transpiration when soil moisture declined. The water potential at the root surface and the resistance to water flow in the rhizosphere were restored in mycorrhizal pots although the bulk substrate dried more. Finally, substrates colonized by AMF can be more desiccated before substrate water flux quantitatively limits transpiration. This is most pronounced under high transpiration demands and complies with a difference of over 1,000 hPa in substrate water potential.</p

Table2.DOCX

<p>Arbuscular mycorrhizal fungi (AMF) proliferate in soil pores, on the surface of soil particles and affect soil structure. Although modifications in substrate moisture retention depend on structure and could influence plant water extraction, mycorrhizal impacts on water retention and hydraulic conductivity were rarely quantified. Hence, we asked whether inoculation with AMF affects substrate water retention, water transport properties and at which drought intensity those factors become limiting for plant transpiration. Solanum lycopersicum plants were set up in the glasshouse, inoculated or not with Funneliformis mosseae, and grown for 35 days under ample water supply. After mycorrhizal establishment, we harvested three sets of plants, one before (36 days after inoculation) and the second (day 42) and third (day 47) within a sequential drying episode. Sampling cores were introduced into pots before planting. After harvest, moisture retention and substrate conductivity properties were assessed and water retention and hydraulic conductivity models were fitted. A root water uptake model was adopted in order to identify the critical substrate moisture that induces soil derived transpiration limitation. Neither substrate porosity nor saturated water contents were affected by inoculation, but both declined after substrates dried. Drying also caused a decline in pot water capacity and hydraulic conductivity. Plant available water contents under wet (pF 1.8–4.2) and dry (pF 2.5–4.2) conditions increased in mycorrhizal substrates and were conserved after drying. Substrate hydraulic conductivity was higher in mycorrhizal pots before and during drought exposure. After withholding water from pots, higher substrate drying rates and lower substrate water potentials were found in mycorrhizal substrates. Mycorrhiza neither affected leaf area nor root weight or length. Consistently with higher substrate drying rates, AMF restored the plant hydraulic status, and increased plant transpiration when soil moisture declined. The water potential at the root surface and the resistance to water flow in the rhizosphere were restored in mycorrhizal pots although the bulk substrate dried more. Finally, substrates colonized by AMF can be more desiccated before substrate water flux quantitatively limits transpiration. This is most pronounced under high transpiration demands and complies with a difference of over 1,000 hPa in substrate water potential.</p